R-state-var(i;ds;da;x;T;ks;tr)
== kks.@i effect k(v:Valtype(da;k))  x := s,v. tr(k,s,v,s(x)) State(ds  x : T) v 
==  @i only events in ks change x:T 

latex

---

clarification:

R-state-var(i;ds;da;x;T;ks;tr)
== kks.@i effect k(v:Valtype(da;k))  x := s,v. tr(k,s,v,s(x)) State(fpf-join(IdDeq;ds;x : T)) v 
==  @i only events in ks change x:T 

latex

Definitions	left  right, xL.R(x), @loc effect knd(v:T)  x := f State(ds) v , f  g, IdDeq, x : v, x.A(x), f(a), @loc only events in L change x:T
FDL editor aliases	R-state-var